1. Basic proof theory
المؤلف: A.S. Troelstra, H. Schwichtenberg,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Proof theory
رده :
QA
.
T76
9
.
54
1996
2. Basic proof theory
المؤلف: Troelstra, A. S. )Anne Sjerp(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
T76
2000
3. Constructivism in mathematics
المؤلف: / A.S. Troelstra, D. van Dalen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constructive mathematics.
رده :
QA
,
9
.
56
,.
T74
,
1988
4. Constructivism in mathematics
المؤلف: A.S. Troelstra, D. van Dalen,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Constructive mathematics
رده :
QA
.
T74
9
.
56
1988
5. Constructivism in mathematics :
المؤلف: A.S. Troelstra, D. van Dalen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constructive mathematics
رده :
QA9
.
56
.
T74
1988
6. Constructivism in mathematics : an introduction
المؤلف: Troelstra, A. S.)Anne Sjerp(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
7. Lectures on linear logic
المؤلف: / A.S. Troelstra
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
T76
1991
8. Lectures on linear logic
المؤلف: / A.S. Troelstra
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical
رده :
E-BOOK
9. Lectures on linear logic
المؤلف: / A.S. Troelstra
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic, Symbolic and mathematical
رده :
QA9
.
T76
1991
10. Metamathematical investigation of intuitionistic arithmetic and analysi
المؤلف: / A.S. Troelstra (editor)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intuitionistic mathematics.,Proof theory.,Model theory.
رده :
QA3
,.
L28
,
no
.,
34
11. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Metamathematical investigation of intuitionistic arithmetic and analysis
المؤلف: / A. S. Troelstra
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Intutitionistic mathematics,Proof Theory,Model Theory
رده :
510
.
8
Me
13. Principles of intuitionism :
المؤلف: A. S. Troelstra.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Intuition.,Logic, Symbolic and mathematical.
14. Principles of intuitionism
المؤلف: Troelstra, A. S. )Anne Sjerp(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
95
15. The L. E. J. Brouwer Centenary Symposium
المؤلف: / edited by A. S. Troelstra and D. Van Dalen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Topology,Algebraic topology
16. The L.E.J. Brouwer Centenary Symposium : proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981
المؤلف: edited by A.S. Troelstra and D. Van Dalen
المکتبة: (طهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
17. The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
المؤلف: edited by A.S. Troelstra and D. van Dalen
المکتبة: (طهران)
موضوع: Congresses ، Constructive mathematics,Congresses ، Intuitionistic mathematics,، Brouwer, Luitzen Egbertus Jan, 1881-6691
رده :
QA
9
.
56
.
L2
1981
